A formal framework for reasoning about opportunistic propensity in multi-agent systems
نویسندگان
چکیده
منابع مشابه
Formal reasoning about resilient goal-oriented multi-agent systems
In this paper we present our formalisation of a resilient goal-oriented multiagent system and its essential properties. The formalisation covers the notions of system goals and agents, various formal structures (functions and relations) defining different interrelationships between these notions, as well as constraints on the system dynamics allowing a multi-agent system to become more reconfig...
متن کاملFormal Reasoning about Emergent Behaviours of Multi-Agent Systems
Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information and make decisions individually, while the whole system demonstrates properties and behaviours that have strong global features. Because of the huge gap between individual agents’ properties and behaviours and those of the whol...
متن کاملFormal Framework for Adaptive Multi-Agent Systems
Evolution of software challenges multi-agent systems to be adaptive and the adaptation capabilities should be provided at both the agent level and the system level. In this paper, we study the adaptation of multi-agent systems from the system level and describe a formal framework for multi-agent systems with adaptation capabilities. In the framework, agents are indirectly inter-connected via ro...
متن کاملA Framework for Formal Reasoning about Open Distributed Systems
We present a framework for formal reasoning about the behaviour of distributed programs implementing open distributed systems (ODSs). The framework is based on the following key ingredients: a specification language based on the μ-calculus, a hierarchical transitional semantics of the implementation language used, a judgment format allowing parametrised behavioural assertions, and a proof syste...
متن کاملReasoning about Autonomy in Multi-Agent Systems
A domain-independent approach to reasoning about the autonomy level of agent goals is presented. The approach is based on general representations of knowledge about goals and resources. A hybrid two-stage reasoning process is proposed, consisting of a belief net and a case-based reasoner. Belief nets are examined in detail as a mechanism for establishing the basic autonomy level of an agent for a
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Autonomous Agents and Multi-Agent Systems
سال: 2019
ISSN: 1387-2532,1573-7454
DOI: 10.1007/s10458-019-09413-1